La grammaire de l'appartenance
Contrairement aux paires ordonnées $(a, b)$ ou aux $n$-uplets où la position est primordiale, un ensemble $\{a, b\}$ est défini exclusivement par ses éléments. Ainsi, $\{a, b\} = \{b, a\}$. Cette indifférence à l'ordre nous permet de nous concentrer sur la identité de l'appartenance.
Une inclusion $A \subseteq B$ implique que chaque élément de $A$ se trouve dans $B$. Cependant, un sous-ensemble propre $A \subset B$ exige davantage : $B$ doit contenir au moins un élément qui est pas dans $A$.
Le Produit cartésien $\mathcal{P}(S)$ est l'ensemble de tous les sous-ensembles possibles de $S$. Si $|S| = n$, alors $|\mathcal{P}(S)| = 2^n$, ce qui reflète l'échelle exponentielle des possibilités fondamentales.
Le pont logique : La mécanique des ensembles
Les opérations ensemblistes sont les manifestations concrètes des pensées logiques :
- Union ($A \cup B$) : La logique OU. Les éléments appartenant à $A$ ou à $B$.
- Intersection ($A \cap B$) : La logique ET. Les éléments appartenant à la fois à $A$ et à $B$.
- Ensembles disjoints ($A \cap B = \emptyset$) : Conditions logiques mutuellement exclusives.
Exemple travaillé : La base de données étudiante
Considérons une base de données $D_1 = \{\text{Garth, Erin, Marty}\}$. Nous définissons deux prédicats :
- Ensemble $A$ : Étudiants mesurant plus de 5 pieds 10 pouces $\to \{\text{Garth, Marty}\}$.
- Ensemble $B$ : Étudiants dont le nom se termine par 'y' $\to \{\text{Marty}\}$.
Le Intersection $A \cap B$ donne $\{\text{Marty}\}$. Cela démontre comment la logique « ET » filtre une population selon des critères superposés. Marty est le seul étudiant à satisfaire simultanément être grand et avoir un nom se terminant par 'y'.
$x \in A \cap B \iff (x \in A) \land (x \in B)$